#ifndef __DEV_IO_H__
#define __DEV_IO_H__

#include <global/header/types.h>
#include <proc/proc.h>

int dev_io_sched_request(int dev_handle, uint32_t func_code,
						 const void *input, size_t input_size,
						 void *output, size_t output_size,
						 proc_event_t event);

#endif
